Big brother logic: reasoning about agents equipped with surveillance cameras in the plane (demonstration)
نویسندگان
چکیده
We consider multi-agent scenarios where each agent controls a surveillance camera positioned in the plane, with fixed position and angle of view, but rotating freely. The agents can thus observe the surroundings and each other. They can also reason about each other’s observation abilities and knowledge derived from these observations. In this demonstration, cameras are located in the plane. The user can interact with the cameras, check epistemic properties and announce formulas. The camera can also turn in order to satisfy an epistemic property.
منابع مشابه
Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane
We consider multi-agent scenarios where each agent controls a surveillance camera positioned in the plane, with fixed position and angle of view, but rotating freely. The agents can thus observe the surroundings and each other. They can also reason about each other’s observation abilities and knowledge derived from these observations. We introduce suitable logical languages for reasoning about ...
متن کاملBig Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane Technical report IRIT/RT–2014-01–FR
We consider multi-agent scenarios where each agent controls a surveillance camera positioned in the plane, with fixed position and angle of view, but rotating freely. The agents can thus observe the surroundings and each other. They can also reason about each other’s observation abilities and knowledge derived from these observations. We introduce suitable logical languages for reasoning about ...
متن کاملoverview of ways to enhance the security of video surveillance networks using blockchain
In recent decades, video surveillance systems have an increasing development that are used to prevent crime and manage facilities with rapid diffusion of (CCTV)cameras to prevent crime and manage facilities. The video stored in the video surveillance system should be managed comfortably, but sometimes the movies are leaking out to unauthorized people or by unauthorized people, thus violating i...
متن کاملAgent-based Coordination of Cameras
This paper presents an application of software agents in a specific engineering problem: multitarget surveillance with several cameras sensing a closed environment. Each agent controls a camera, and from the coordination of them will emerge an improvement of the global surveillance task. Agents emulate human camera operators and, therefore human-like reasoning and human-like communication is pu...
متن کاملBig Brother: A Road Map for Building Ubiquitous Surveillance System in Nigeria
In this paper, we propose a method to improve the security challenges in Nigeria by embedding literally hundreds of invisible computers into the environment with each computer performing its tasks without requiring human awareness or a large amount of human intervention to monitor human behaviour, natural disasters and search for stolen or lost items. Ubiquitous Dynamic Surveillance cameras emb...
متن کامل